proving the quadratic formula